#! /bin/bash

#
# Check 3-level s390x translation with no OS
#

opts=(
    arch=s390x
    rootpgt=MACHPHYSADDR:0x8b5000
)

. "$srcdir"/xlat-os-common
